Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
005A00 | Inès Mouakher [Tunisie] ; Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] | Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives |
006B49 | Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] ; Moussa Demba [Tunisie] | Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures |
007117 | Moussa Demba [Tunisie] ; Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] | A Method for Patching Faulty Conjectures |
007D71 | Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] ; Moussa Demba [Tunisie] | Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures |
008A13 | Moussa Demba [Tunisie] ; Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] | Correction de conjectures faussses |
This area was generated with Dilib version V0.6.33. |